5.1.4(viii) Ordered pairs and Cartesian product: